<?php /* Smarty version 2.6.20, created on 2011-10-25 17:38:42
         compiled from _core/pagecommon/guipagebackendsources.tpl */ ?>
function GuiPageBackendSources() {
};

GuiPageBackendSources.instance = function(prefix) {
  return { add: document.getElementById(prefix + '_add_button'),
           result: document.getElementById(prefix + '_result_div')
         };
};